⚡ Const Evaluation - emschwartz · Scour

Building Your Own Efficient uint128 in C++

solidean.com·1d·

Discuss: Lobsters, Hacker News, Hacker News, r/cpp

🔍Binary Analysis

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures

arxiv.org·1d

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

🌊Async Patterns

GNU C Language Manual

gnu.org·12h

🔢Algebraic Data Types

Designing Boring Software with Functional Programming

agentultra.com·1d

💻Programming languages

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮SMT Solvers

PHPStan Now 25~40% Faster For Static Analysis

phoronix.com·21h

⚙️Language Runtimes

C++ Is An Absolute Blast

learncodethehardway.com·4h

✏️Code Editors

Python Code Optimization Tips

denvaar.dev·1d

⚡SIMD Optimization

Use impl Into > in your functions!

reddit.com·2d·

Discuss: r/rust

Python Pass by Reference or Value: Unraveling the Mystery

coderivers.org·5h

💻Programming languages

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

Use of Assertions

blog.regehr.org·16h

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

💻Programming languages

PlummersSoftwareLLC/Primes: Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness

github.com·1d·

Discuss: Hacker News

⚡Comptime Programming

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

💻Programming languages

Understanding C++ Ownership System

blog.aiono.dev·2d·

Discuss: Lobsters, Hacker News

🔒Borrow Checker

Getting Rounding Right in DeFi

seceureka.com·20h·

Discuss: Hacker News

🔍Binary Analysis

Workarounds for C11 _Generic

chiark.greenend.org.uk·3d

Loading more...